In particular, we automatically detect general constraints
and encode them as such.