added hook for =/=KLabel
added size method for all collection in the java rewrite engine
minor
refactored code for unifying variables representing concrete collections in the java rewrite engine
no need to simplify the constraint when evaluatin a function in the java rewrite engine
improved detecting false equalities in the java rewrite engine