let
obviously_terminates =
Value_parameters
.
ObviouslyTerminatesAll
.get()