Updated RelevantStatesCountReport to run against loaded reasoner and database.