Is there any way that I could use an overridden operator in a temporal property? E.g. `prop` is a `PROPERTY` and `MyOperator` is overridden by a Java method.
It works when not overridden, otherwise it gives me the following error (using the `TLAPlusOperator` interface)
Error: In evaluation, the identifier mainVar is either undefined or not an operator.
I'm doing this for a personal project and I understand that the evaluation of temporal properties is complex enough that I guess I should not be able to do this, but who knows.