Herman–Kluk-like semi-classical initial-value representation for Boltzmann operator | Synapse