returns 1 if "a*b*c + add" has no negative terms/factors and doesn't overflow
source not stored for this graph (policy: none)
no test coverage detected