Bisimulation congruences in safe ambients