Added methods for general constructible sets