added Belson's algorithm for checking if group of chains is unconditionally alive