added reference to assertion tags in check justiciation