public override Expr VisitIdentifierExpr(IdentifierExpr node)
{
// FIXME: This needs to moved out if this class is going to be moved to Boogie's codebase.
if (node.Decl is SymbolicVariable)
{
return((node.Decl as SymbolicVariable).Expr);
}
return(Builder.Identifier(node.Decl));
}
public Expr Identifier(Variable v)
{
return(UB.Identifier(v));
}
