Function execute_procedure_until 

pub async fn execute_procedure_until<P: Procedure>(
    procedure: &mut P,
    until: impl Fn(&P) -> bool,
)