Fix naming of Prog declarations
Fix naming of Prog declarations

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