I think `bodyF` should only be passed symbols for the lifted method parameters, not the `ValDefs`. You should not need to explicitly deal with parameter `ValDef`-s at all, in fact. Below, you can create a `DefDef` from the new method symbol and the body:

```scala
newDefDef(methSym, body)
```