theorem Th11: :: SCMFSA_M:11

dom (Initialize ((intloc 0) .--> 1)) = {(intloc 0),(IC )}