Added the file widened_sstate.hpp