Compact tree of Heinrich Prescher