let diff =
[DisambiguateTypes.Symbol (symbol, 0),
GrafiteAst.Symbol_alias (symbol,0,dsc)] in
let status = LexiconEngine.set_proof_aliases status mode diff in
let diff =
[DisambiguateTypes.Symbol (symbol, 0),
GrafiteAst.Symbol_alias (symbol,0,dsc)] in
let status = LexiconEngine.set_proof_aliases status mode diff in