a := b = [1,{},<*a,b*>] by SCMFSA10:2;
hence JumpPart (a := b) is empty ; :: according to COMPOS_0:def 8 :: thesis: verum