Change datastructures used in proof parser and BottomUp Pebbler