}
return null;
}
public Void visitOptional(Optional optional) {
Expression lhsExp = optional.getLhs();
lhsExp = (lhsExp == null) ? EMPTY_CONSTRAINT : lhsExp;
Expression lhs = getNext(lhsExp);
Expression rhsExp = optional.getRhs();
rhsExp = (rhsExp == null) ? EMPTY_CONSTRAINT : rhsExp;
Expression rhs = getNext(rhsExp);
expression = new Optional(lhs, rhs);
return null;
}