org.argus.jawa.alir.pta.suspark
n or n.f or n[] or @@n
n1 -> n2 or n1.f -> n2 or n1[] -> n2, n1 -> n2.f, n1 -> n2[]
e.g.
e.g. L0: p = q; L1: r = p; transfer means p@L0 -> p@L1