RelationInclusion inc1=(RelationInclusion) r1.getInclusion();
RelationDescriptor rd=inc1.getRelation();
SetDescriptor sd=isdomain?rd.getDomain():rd.getRange();
Expr expr=isdomain?inc1.getLeftExpr():inc1.getRightExpr();
RelationInclusion inc1=(RelationInclusion) r1.getInclusion();
RelationDescriptor rd=inc1.getRelation();
SetDescriptor sd=isdomain?rd.getDomain():rd.getRange();
Expr expr=isdomain?inc1.getLeftExpr():inc1.getRightExpr();