($e:expr, for $x:pat in $xs:expr $(, if $c:expr)?)