Fixing OTF subsumption when clause becomes implicit

Had to fix 'reason' for propagation
Using class temporaries to minimize mem alloc overhead