#12: added affirmConseq_posTest2 which finally fails as expected