Safety for bisimulation in monadic second-order logic door M.J. Hollenberg