////////////////////////////////////////////////////////////////////////////
public override VCExpr Visit(VCExprLiteral node, VCExpr that)
{
Contract.Requires(that != null);
Contract.Requires(node != null);
Contract.Ensures(Contract.Result<VCExpr>() != null);
if (node.Equals(that))
return node;
return AbstractWithVariable(node, that);
}
