abstract equations on total tree
check equations for duplicates