Started Dafny Dot6 = Dot5 with explicit locations.