Added annotations to predicates
Docco docs generated for all libs