SCCP: overdefined calls cannot become constant