Support opens_invariants
with concrete sets
#93
Merged
opens_invariants
with concrete sets
#93