minor changes in the super clafer constraints