Update and rename sqb_pool.cpp to storm_pool.cpp