iki gitabo kirashimishije kuruta kiriya gitabo ntureke umutima wanjye utwarwa n'ikibi important relations include simulation preorders and bisimulation