Added is_theta_stable