Warning when Result isn't assigned in a function

[scottgw]

Every function should probably have Result set, so issue a warning if it hasn't been done at least once. There could probably be better path coverage (i.e., Result is set on every path to an exit node).