added a-checker documentation