I didn’t think about this. Yes, I think it should be possible to test semi-functions. So another “tooling support” point should be: semi-functions cannot be called from production code except the sole place where they are declared, but it should be possible to freely call them from test code.

Thanks!