Extensions And An Explanation Module For The Irods Rule Oriented Verifier