Call the virtual method associated with a particular slot in this class.
(State st, int slot)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected