/** Returns the weakest precondition of a given program. */
@Override
public Term visit(Program root) {
visitMethod = false;
int lines = root.getNumberOfChildren();
for (int i = 0; i < lines; i++) {
root.getChild(lines - i - 1).accept(this);
}
return wp;
}
