TypeCheker with break