Improve @ets tailRec tail position checking heuristic

[0x706b]

Right now, the heuristic that tailRec uses to detect whether a recursive call is in the tail position is overly simple. Neither the checker, nor the transformer, allow for ternary expressions, for example.