Algebra Property of Properly Supported Semiclassical Pseudodifferential Operators