transition :statement and :return