many inequation rule fixes