(define (super-a) (処理A) #t)

(do ()
((and (super-a) (終了条件)))
(処理B))