This function creates and returns an integer expression constrained to be the value of the function func at the value of x. The granularity of the function must be equal to 1, otherwise, an error will be raised.