Because they were broken (in terms of phasing) and didn't offer any more coverage than our typecheck tests of similar programs.