Fix internal documentation for some compiler/runtime predicates