add a stronger type observer for access paths and fix a bug for that, improve the precision of antlr and passed regression
fix a bug of not putting globals of S2/S3 methods in the shared summary, now antlr has 5 empties, before working on improving scalability with cipaSum