def varsAlternatives(self, subfreevars): return (union_of(subfreevars[1:]), EMPTY_SET)
def varsAlternatives(self, subfreevars): return (union_of(subfreevars[1:]), union_of(subfreevars[4::2]))