let obviously_terminates = 
    Value_parameters.ObviouslyTerminatesAll.get()