repair bug in simplification of constraints
rename AVLTree
implement soft links with a=b definitions
renamed to TreeMap