anchor.diff:      | NONTERM_separated_nonempty_list_SEMICOLON_fieldPattern_
       | NONTERM_separated_nonempty_list_SEMICOLON_tuplePattern_
       | NONTERM_inputFragment
  -    | NONTERM_mainDecl
       | NONTERM_pragma
       | NONTERM_attribute
       | NONTERM_decoration
  
positive.code:     | NONTERM_tmImplies
      | NONTERM_tmArrow_tmFormula_
      | NONTERM_tmArrow_tmNoEq_
      | NONTERM_tmFormula
      | NONTERM_tmConjunction
      | NONTERM_tmTuple
      | NONTERM_tmEq
      | NONTERM_tmNoEq
      | NONTERM_refineOpt
      | NONTERM_recordExp
      | NONTERM_simpleDef
  
negative.code:     | NONTERM_option_ascribeKind_
      | NONTERM_option_ascribeTyp_
      | NONTERM_option_fsTypeArgs_
      | NONTERM_option_pair_hasSort_simpleTerm__
      | NONTERM_option_string_
      | NONTERM_boption_SQUIGGLY_RARROW_
  