indenting; inline ArgumentAssert and DebugAssert calls