Add simple guard use analysis

Not perfect, but an over-approximation, to start with: if we ever ask
for the fact, then consider it used.