Ignore types of preconditions
One valid type is sufficient; there's no need to iterate over all possible types.
This gives a huge speedup for the tests/skip/addnswnuw.opt test.