Added test for unequal-sim-pcs
Added idea for a new rule, but commented it out again
Fixed bug in unequal-sim-PCs (unintended recursive call)