Hello werner
I would be very grateful if you could tell me how exactly do I implement the function check on TT?. I thought about it today but dont know how to implement it. I will check if I can find additional constraints so that i dont have to do the function check on TT