Move lineRemover to later phase

It does not make sense to have it so early in the pipeline:
- it does not give much gain
- after addition of empty lines removal it got really heavy for some inputs
- most of stuff it removes is removed as side effect of other removers

Author: sgizler

source/SvBugpoint.cpp

@@ -230,7 +230,6 @@ bool SvBugpoint::pass(const std::string& passIdx) {
 
         auto tree = treeLoader.load(getMinimizedFile());
 
-        commited |= lineRemover(tree, "lineRemover", passIdx, this);
         commited |= rewriteLoop<BodyRemover>(tree, "bodyRemover", passIdx, this);
         commited |= rewriteLoop<InstantationRemover>(tree, "instantiationRemover", passIdx, this);
         commited |= rewriteLoop<BindRemover>(tree, "bindRemover", passIdx, this);
@@ -250,6 +249,7 @@ bool SvBugpoint::pass(const std::string& passIdx) {
         commited |= rewriteLoop<ModuleRemover>(tree, "moduleRemover", passIdx, this);
         commited |= rewriteLoop<TypeSimplifier>(tree, "typeSimplifier", passIdx, this);
         commited |= rewriteLoop<LabelRemover>(tree, "LabelRemover", passIdx, this);
+        commited |= lineRemover(tree, "lineRemover", passIdx, this);
     }
 
     return commited;

tests/golden/short_grep/sv-bugpoint-combined.sv

@@ -1,3 +1,3 @@
-module full_adder (
+module full_adder3 (
         input cin);
 endmodule