pub fn no_predicate(predicate: &str, type_name: &str) -> String
The reason a Check naming a predicate its subject’s type does not define stops the program with.
Check