module Assumptions
  refine Kernel do
    include Assume
  end
end