% l. 8515 @x if (type(tail)<>math_node)or(subtype(tail)<>end_M_code) then @y if (type(tail)<>math_node) then @z