}
} else {
rel = r1.relation().join(r2.relation(), pcode, pIsEq);
}
return makeState2(rel, rel.columns(), named);
}
private Proposition visitJoinSpecification(JoinSpecificationContext ctx, ColumnNamesLookup columnNamesLookup) throws WrappedException, TypeCheckException, RuntimeException {
checkNotNull(ctx.joinCondition());
// TODO