progress of not infinitely recursing through simple_statement