Remove superfluous constraints in the hand-written instances
Remove superfluous constraints in the derived instances