Implemented auth-req hint, added some more tests for precondition-req