| TacticAst.Goal (loc, g) -> status, TacticAst.Goal (loc, g)
| TacticAst.Injection (loc,term) ->
let status, term = disambiguate_term status term in
| TacticAst.Goal (loc, g) -> status, TacticAst.Goal (loc, g)
| TacticAst.Injection (loc,term) ->
let status, term = disambiguate_term status term in