Evaluator Summary: No pointers! Total Alias Queeries Performed
 no alias respon may alias respo partial alias ralias responses  must alias resp Evaluator Pointer Alias Summary Mod/Ref Evaluator Summary: no m Total ModRef Qu no mod/ref resp mod & ref respo must responses  must mod respon must ref respon must mod & ref & ref responses  Evaluator Mod/Rod/Ref Summary: Alias Set Printer