Solved a crash with PB propagation & implemented surrogate cleanup
Strip already assigned literls in new PB cluases