Added PBCtoSAT test cases