Enhanced test for aliasing predicate precision improvement