Corrected bug in overflow_gen.py which prevented overflow multiplication bodies from being written.