Add more tests, add more clauses to tests