comment
added buggy ThreeIntEquations
wrote subtraction test
intvars subtraction is working
new error
removed extraneous deciding
comment explaining subtraction problem