Make evidence parameters available in spec bodies

[yannbolliger]

Fixes the problem that evidence arguments added to the function's parameter list at extraction were not available inside of spec bodies.