liveness: not every call is using result after it