Fix parameter value infer issue and add a test case