public void visitArithExpr(final ArithExpr expr) {

		if (previous == expr.left()) {
			previous = expr;
			expr.parent.visit(this);
		} else if (previous == expr.right()) {
			check(expr.left());
		}

	}