Missing check case
Specialised constant functions parameters are propagated to the function body