Update and rename sqb.cpp to storm.cpp