Asymptotic Summation Theorem for Semiclassical Symbols