Fixing a bug where the lemma didn't replay in the right sat context level.
Fixing a bug where a lemma was believed to be sent out, but had not been.