Other refactoring + method stubs
Small changes with IOHandler
More verifiers