Implement the missing static binding safety checks for the intermediate entities in the predicate declaration and definition lookup chains