refactoring: extracted IntAssert interface