Fixed coding style in burdenofproof.py and utils.py in demo1b