#12: satisfied affirmConseq_posTest2
Closes #12.
Merge branch 'shlomo.12.affirm_consequent'
#12: moved test variables to the unit tests which use them