Added predicate to do simpe optimization of some forms of DL-Rules.
Needs better integration, but usable as is.
Authored by: dwarren 2014-01-31
Parent: [r7884]
Child: [r7886]
