The SYSTEM_CALL model needs to more clearly take account of the common type of call to a function like 'execute_query()', which typically requires a set of parameter values to be substituted into the query before execution.