Gets emitted whenever the structure and contents of the statement have been verified (emitted after check_validity).