printing inheritance for terms, expr
resolved merge conflicts