Add support for insertion within rules with automatic truth maintenance.