AssertVerifiedUnder0.bpl(6,11): Error: attribute :verified_under accepts only one argument of type bool
AssertVerifiedUnder0.bpl(7,11): Error: attribute :verified_under accepts only one argument of type bool
2 type checking errors detected in AssertVerifiedUnder0.bpl