for I being really-closed MacroInstruction of SCM+FSA
for n, k being Nat st n < card I & k < card I holds
I +* (n,(goto k)) is really-closed