import javascript

query predicate test_getParameter(Function f, int i, Parameter p) { p = f.getParameter(i) }