Fix for computing differential propability in the case STP does not generate CNF