[TMeL] Replace initializer list with explicit result.