Detect tail-recursion

[laowantong]

Possible heuristic: any recursive call is returned directly. Need context?

[laowantong]

Detection of body-recursion was done in f222322. For tail-recursion, take the complement.