Displaying only the 'UNSAFE' accesses, still in the style of ocache. No annotations made to the CFG yet