rts: Remove unused decls from CNF.h