regressions for reals.cfr test case
updated regression for noAndNot.cfr