Update installation instructions.
Add test cases for this usage in predicates.