Fix ltn annotation of tail calls.