Constant EXPECT_EFFECT 

pub const EXPECT_EFFECT: &str = "expect-effect";

(expect-effect "<atom>" (none|once|times <n>|with <expr>)) — §21.3 rule 4: verification is a query over what happened, not an expectation set in advance.