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)); }