pub fn assert_vk_commit_unset<AB: AirBuilder, I1: Into<AB::Expr>>( builder: &mut AB, x: VkCommit<I1>, )