Fix for #1211: refining a functional param with a value param

Make sure we consider method parameters
Test for #1211: refining a functional param with a value param