simple ADT checking works
almost there
fix more bugs; prepare not-in-lab rules