TupleExpr path = createPath(scope, subjVar, te, endVar, contextVar, length); path = createPath(scope, subjVar, te, endVar, contextVar, length + 1); currentUnion.setRightArg(path); TupleExpr path = createPath(scope, subjVar, te, endVar, contextVar, lowerBound); result = path;