Removing functionality that is useless because SCC is now with VarRepl

They are always done together, so nothing is queued up for replacement, ever
Adding a check and a TODO
Renaming functions

No semantic change
Renaming functions + removing checkAllLinkedIn

checkAllLinkedIn was not being used.
Renaming functions + removing loopSubsumeVarelim

loopSubsumeVarelim was not defined or used
Renaming functions
Removing undefined and unused function
Skip some BVE resolvents when we can
Fuzz-test resolvent skipping thanks to gate