Do the easy stuff in constraintSimplifier