| punct = punctuation_tactical -> GrafiteAst.Tactic (loc, None, punct)
| tac = ntactic; punct = punctuation_tactical ->
GrafiteAst.NTactic (loc, tac, punct)
| punct = punctuation_tactical -> GrafiteAst.Tactic (loc, None, punct)
| tac = ntactic; punct = punctuation_tactical ->
GrafiteAst.NTactic (loc, tac, punct)