Fix bugs with Redundant lambda parameter

BTW, after merge with upstream, I got several compiling errors from Testing of Ikvm.