(Internal) Plug-in & classes to handle the recording of p-assertions.