anchor.diff:      | NONTERM_tmImplies
       | NONTERM_tmArrow_tmFormula_
       | NONTERM_tmArrow_tmNoEq_
  +    | NONTERM_simpleArrow
  +    | NONTERM_simpleArrowDomain
       | NONTERM_tmFormula
       | NONTERM_tmConjunction
       | NONTERM_tmTuple
  +    | NONTERM_tmEqWith_appTerm_
  +    | NONTERM_tmEqWith_tmRefinement_
  +    | NONTERM_tmNoEqWith_appTerm_
  +    | NONTERM_tmNoEqWith_tmRefinement_
  +    | NONTERM_tmEqNoRefinement
       | NONTERM_tmEq
       | NONTERM_tmNoEq
  +    | NONTERM_tmRefinement
       | NONTERM_refineOpt
       | NONTERM_recordExp
       | NONTERM_simpleDef
  
positive.code:     | NONTERM_option_ascribeKind_
      | NONTERM_option_ascribeTyp_
      | NONTERM_option_fsTypeArgs_
      | NONTERM_option_mainDecl_
      | NONTERM_option_pair_hasSort_simpleTerm__
      | NONTERM_option_string_
      | NONTERM_boption_SQUIGGLY_RARROW_
  
negative.code:     | NONTERM_separated_nonempty_list_SEMICOLON_fieldPattern_
      | NONTERM_separated_nonempty_list_SEMICOLON_tuplePattern_
      | NONTERM_inputFragment
      | NONTERM_pragma
      | NONTERM_attribute
      | NONTERM_decoration
  