Merge pull request github#4933 from madneal/fix-for-predicates

Approved by shati-patel

Author: codeql-ci

docs/codeql/ql-language-reference/predicates.rst

@@ -226,14 +226,16 @@ Here are a few examples of infinite predicates:
       Compilation errors:
       ERROR: "i" is not bound to a value.
       ERROR: "result" is not bound to a value.
+      ERROR: expression "i * 4" is not bound to a value.
     */
     int multiplyBy4(int i) {
       result = i * 4
     }
     
     /*
-      Compilation error:
+      Compilation errors:
       ERROR: "str" is not bound to a value.
+      ERROR: expression "str.length()" is not bound to a value.
     */
     predicate shortString(string str) {
       str.length() < 10