(kw_forall) @keyword