Added callouts to the assumed static info predicates (some examples given).