Determine if expression may return. Does not detect all cases, errs on the side of saying it returns.
tree
false if expression never returns.
See Implementation
Determine if expression may return. Does not detect all cases, errs on the side of saying it returns.