root
SETUP_CONSTANTS({a,b,c},{x,y,z})
ID1 = {a,b,c},ID2 = {x,y,z}
INITIALISATION({(a|->x),(b|->y),(c|->z)},a,x)
INITIALISATION({(a|->x),(b|->z),(c|->y)},a,x)
INITIALISATION({(a|->y),(b|->x),(c|->z)},a,y)
INITIALISATION({(a|->y),(b|->z),(c|->x)},a,y)
INITIALISATION({(a|->z),(b|->x),(c|->y)},a,z)
INITIALISATION({(a|->z),(b|->y),(c|->x)},a,z)
INITIALISATION({(a|->z),(b|->x),(c|->y)},b,x)
INITIALISATION({(a|->y),(b|->x),(c|->z)},b,x)
INITIALISATION({(a|->z),(b|->y),(c|->x)},b,y)
INITIALISATION({(a|->x),(b|->y),(c|->z)},b,y)
MAP[a] = x,MAP[b] = y,MAP[c] = z, foo = a,bar = x
INITIALISATION({(a|->y),(b|->z),(c|->x)},b,z)
INITIALISATION({(a|->x),(b|->z),(c|->y)},b,z)
INITIALISATION({(a|->z),(b|->y),(c|->x)},c,x)
INITIALISATION({(a|->y),(b|->z),(c|->x)},c,x)
INITIALISATION({(a|->z),(b|->x),(c|->y)},c,y)
INITIALISATION({(a|->x),(b|->z),(c|->y)},c,y)
INITIALISATION({(a|->y),(b|->x),(c|->z)},c,z)
INITIALISATION({(a|->x),(b|->y),(c|->z)},c,z)