for globals in <clinit> in S2, do not create default access paths for them
add some checking methods for the top-level methods to understand what happens in the top-level conclusion, add some data structure to support efficient conclusion phase but not done, tested this version for weblech, luindex and antlr, passed regression, reduced the time for conclusion for weblech from 50+s to ~5s, still working on optimizing conclusion phase