refactoring: moved intAssertImpl to new file