fix(rules): apply ineq rules to x <= k + y as well as x <= y +k

fix(rules): apply ineq rules to x <= k + y as well as x <= y +k #1339