Cleaner DRUP
OOps, first add new clause, then delete old one

Otherwise, DRUP will not work
Add failed lit early to DRUP
Fix class initialisation problems
DRUP for varreplacer and implicit manipulation option