ループ不変 ふへん しきだろう
rūpufuhenshikidarō

Noun
Da Copula

Expresses probability ("probably…") of ループ不変式

1. Probably loop invariant.

Presumptive
Conjecture
Computing