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)
no outgoing calls
no test coverage detected