Execute this statement. If the statement is terminated by a return statement, return the corresponding value. Otherwise, a null indicates that no result was returned.
(State st)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected