static List<aterm.ATermAppl>
getSharedVars(Node node1, Node node2)
Copyright © 2019. All rights reserved.