бисимуляционная эквивалентность с сохранением истории