concRule(rule(NList(TNode(Name("A"),NList()),VarNode("node"),TNode(VarNodeName("name"),NList())),NList(TNode(Name("A"),NList()))))
