fix bug in constraint generation..

really need to get generic generator working, these things are too fragile..