Bug fix: filter out solved negative constraints. Minor optimization: drop constant transformations in numerical abduction.