Added tests for pebbling formulas