+ else if(union.effects.length == 3) {
+ return new Reduction(
+ new EConstant(Builtins.INSTANCE.getValue("TUnion3")),
+ Type.EMPTY_ARRAY, new TPred[] {
+ Types.pred(Types.TYPEABLE, union.effects[0]),
+ Types.pred(Types.TYPEABLE, union.effects[1]),
+ Types.pred(Types.TYPEABLE, union.effects[2])
+ });
+ }