On pattern variables or on rule test graph nodes equality tests may be
performed.
For pattern variables they lead to the generation of equality/inequality
functions of the opaque types of the attributes.
For rule test graph nodes, in AST-mode pointer equality is used. In
CoSy-fSDL-mode DMCP_equal is used.
