Make sure Tegis is not even proposed when no test exists