Cleaned space
Performance improvement when adding disjoint variables