Funções de composição

Você talvez observe funções que parecem entrar mas nunca retornar ou vice-versa. Funções tão raras são geralmente rotinas de composição codificadas à mão que se ramificam para o meio das funções de composição codificadas à mão. Estas funções não devem impedir a análise: a função ramificada-para ainda devem retornar para o chamador da função ramificada-de. Ou seja, se você ativar todos os testes de FBT, verá a entrada para uma função e o retorno de outra função na mesma profundidade da pilha.