ICE Mantle Formation in the Envelopes of OH/IR Stars