Explaining ATRL Warnings on ATRL