Assertion list
java application (subgroup of application ) → HasA
Results from Ascent++: 2
java application → HasA → single instance of class runtime 0.41
java application → HasA → a life cycle 0.25