rewrote the constraint generation step
removed a test taht didnt check any
merged but without the new binary operations
merged with binary functionCall