Added spec for CPK predicates lib... will help us catch changes in the dependency.