This implementation resolves the test error introduced in the previous commit: we now also have a nice trace with recursive functions.
This implementation resolves the test error introduced in the previous commit: we now also have a nice trace with recursive functions.

Still a problem with the name and display name of contract functions.

Toryt/contracts,Toryt/contracts,Toryt/contracts