Consistency proof checks for equal trees pass

fixes issue #12