remove dead file
suspension theorem test case