[ issue1227 ] test case
[ issue1227 ] fixed unquoting of dot patterns
[ issue1227 ] fixed broken permutation for unquoted clauses
[ issue1227 ] added reduction check to test case
[ issue1227 ] don't use (==) on DontCare terms!