Fix duplicate condition in tets_queries
New target for heavy check