traceable reasoning system checklist