removed dependency on LTL2Line in getGuiltyConjuncts