Appart from the usual reformulation pipeline, instrospection tools for retrieving information seem to be useful for tests and advanced usage.