make sure sign constraints on vars are not returned more than once