In this version block for typecheckedTree is not necessary