implemented the second pass of tco: label tcalls with their residing function entries