missing file for the termination criterion refactoring