fix bugs of Rec in const propagation