add $opt_allow_unification.