gustafn
committed
on 11 Oct 23
strengthen boolean variables in page contracts