Refactors DatabaseInterpreter specs