mustAlias seems to be "b,h" instead of "b,a". Further updates might be done, for other ground truth attributes. https://github.com/secure-software-engineering/PointerBench/blob/master/src/generalJava/SuperClasses1.java