Predicate signature SignAnalysisSig::semMayBeNegative

Holds if e may have negative values. This does not rule out the possibility for positive values.