pub(crate) fn parse_assert_incr_state(
    handler: &EarlyErrorHandler,
    opt_assertion: &Option<String>
) -> Option<IncrementalStateAssertion>