Fixing wrong comment
Some function renaming and cleanup in vivifier
Just a bit of refactoring in vivifier
Refactoring vivifier
Renaming function in vivifier
More long irred vivification