dm_huge/dm_sip_idb/combo_sip_idb decision at runtime.

[KDahlgren]

Each approach possesses a complexity trade-off dependent upon the number of rules and the number of subgoals per negated idb rule.
Choose the best approach automatically per negated idb rewrite to minimize final program lengths.

[KDahlgren]

Be sure to only choose dm_sip_idb on non-recursive relation definitions.