Compact tree of Martin Heinemann