for a2 being Nat holds [6,<*a2*>,{}] in SCM-Instr