method
set_alpha alpha' =
alpha <- alpha';
alpha_policy <-
None