Yes, currentThread can have been resumed by the time an other part of the code attempt to invoke a method.
It is checked by the invokeMethod support in the Thread actor. The logical structure support correctly handle this case.
The details support (toString() display) does not handle this case. There is a TODO for it.