Auxiliary methods for collecting aliasing information - not used now
Improving aliasing predicate precision
Get rid of classpath warnings