class Dry::Schema::PredicateInferrer::Compiler

def visit_constrained(node)
  other, rules = node
  predicates = visit(rules)
  if predicates.empty?
    visit(other)
  else
    [*visit(other), *merge_predicates(predicates)]
  end
end