Fix universe checking error

Fixes #286. Constraints generated by the final convertibility check
between lhs and rhs were not being added to the overall set!