Add ARRAY14 paper.
Remove unused variable name.
Fix predicate optimisation in slightly hacky way.