Coverage checking with conditions