master
internal/core/adt: more abstractions over Conjuncts
internal/core/adt: inlining simplification