Fix for SAT encoding of reified And under order encoding.
Fix for SAT encoding of reified And under order encoding.

eomahony/Numberjack,eomahony/Numberjack,eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack