RuleWeighter: More robust constant derivations.