remove unreachable confs during pruning

(now bad triples for infer_tests/test20.star are properly removed
from the inferred specs)