Make CmmProc take CmmFormals as argument