Comment by mike00632

Rewrite your functions to be generator functions. They don't even need to be based on the desired level of precision to always be decidable.