Add semantic tests: good and bad