Fix make_symbolic_state according to the same workaround as mf_state