Bug 6173: Allow refine statement to have no substatements