do coverage analysis in computing X~Y for !is conditions #587