easier entry point to on demand inference of RIF rules