Fix removal of single value constraints in Josat