Don't double-count free variables
Don't double-count free variables

guoyiteng/braid,cucapra/braid,cucapra/braid,cucapra/braid,cucapra/braid,guoyiteng/braid,cucapra/braid,guoyiteng/braid,guoyiteng/braid,guoyiteng/braid,guoyiteng/braid,cucapra/braid