removed commented code from pipeline
o fixed a bug in pipeline
o added a status marker for the parser
o optimize the closure function to significantly cut down the parsing time
fixed a problem with the new closure implementation
optimized the code further by
o removing the automating dumping of z3 listings
o keeping lists sorted in the transitive closure routine