Yes, we bench bled the cylinder before installation.
As I said before, there was no evidence of leaking.
I guess my question was, how does one go about diagnosing it to be a
bad booster when such problem will perfectly replicate the symptoms of a
bad master cylinder, which is way more common?