renaming from Variable to Var and from RefManager to JTermUtil