Added logical-tie simplification to TimeManager.