| GrafiteAst.Discriminate (loc,term) ->
let metasenv,term = disambiguate_term context metasenv term in
metasenv,GrafiteAst.Discriminate(loc,term)
| GrafiteAst.Discriminate (loc,term) ->
let metasenv,term = disambiguate_term context metasenv term in
metasenv,GrafiteAst.Discriminate(loc,term)