Adds loop tests for 'do while' guard (#263, #280)