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