Dijkstra's guarded command language Renaming