Removed first_is_first
Initial internal height implementation. Not working atm for all proofs.