pub fn tt_if_yes<I: Iterator<Item = FlatItem>>(
    cond: Expr,
    it: &mut I
) -> Result<TreeItem>