No need to get function parameters because Jedi already does that