add branches to verify for policy/clamp