for x being Element of {[0,{},{}],[1,{},{}]} holds JumpPart x = {}