Add beta parameter to computation of make_symbolic_state