Moving along with stamping
Propagation during simplifier doesn't work

Because getBlockedLit() returns trash. So addXorClauseInt() has to have
the 'attach' flag just as addClauseInt() has it