history safety graph added (D=1, T=1)