semantic: Ensure interface conversion of function params.