class Steep::Subtyping::Constraints::UnsatisfiedInvariantError::VariablesFreeVariablesNotDisjoint

def message
  "Variables and FV(constraints) should be disjoint (#{var}, #{lower_bound}, #{upper_bound})"
end