simplifyBvSignedLessOrEqualExpr