Adding initial support for decision rule simplification.