Add 4 bad eval tests to check-bad-turtle