- See whether a safe declaration makes sense. That is, the
predicate must be defined (such that the attacker cannot define
the predicate), must be sufficiently instantiated and only ISO
declared predicates may omit a module qualification.
- To be done
- - Verify safe_meta/2 declarations. It is a bit less clear
what the rules are.