code: public static Concatenator holdsTrue(IPredicateFunction I) {
  		Concatenator ret = PFactory.holdsTrue(I);
  		return ret;
  	}
docs: <div color='red' style="font-size:24px;color:red"><b><i><u>JCYPHER</u></i></b></div>
  <div color='red' style="font-size:18px;color:red"><i>iterates over a collection allowing to test each element of the collection against a predicate expression</i></div>
  <div color='red' style="font-size:18px;color:red"><i>Use Factory Class <b>I</b> to create Expressions</i></div>
  <div color='red' style="font-size:18px;color:red"><i>e.g. ...<b>holdsTrue(I</b>.forAll(n)...)</i></div>
  <br/>