Delete SpinModelChecker.cpp~