also rebind type parameters in return type

It is crucial to make generic methods work also in other traits/classes

Change-Id: I9d43c44a7ae52a310097637ec157883d8c254862
store op.op in a temporary var

Change-Id: I4632b30e07f27c32e75d7022b4f2622f949c6323
associate to the original method if not generic

This way we can navigate to the original method with F3

Change-Id: I149523f067fe40f80d54f708061ae4b2f6c3ab54
renamed scope provider test

Change-Id: Iad59dbaac9e0623d5b5efe92780dce75cc664631
renamed scope provider test class name

Change-Id: I6370a4b5566615d461533108f4b29002254ccea8
simplified main infer method

Change-Id: I082ba276a74b385e013ebc0774c8f7af691fefd0
custom scoping for type parameters 

This way we can associate to the same trait method several Java methods,
without breaking the type system

Change-Id: I8a67e8c2cf521d83c71447341d8d077ef735f248
removed references to JvmModelAssociator

we don't need it

Change-Id: I927156d118da86df3c2f3b1d5c056c46f1b01f53
renamed utility method

Change-Id: I8bdf5a9cc761bac1a1e464853ec37c7dc1adf0a8
fix useless control flow line

Change-Id: I0d98dcec75e06efda4f4bcc184801d88c4d69422
other tests for generic methods

Change-Id: I6424d3c543d9829fc6c4b6326ba6e94f9721470c
.forEach -> for loops

Change-Id: I40e7e03d12529c860f2ea290c0dd71efb609b602
parametersType -> parametersTypes

Change-Id: I97e5c4e6f69d3f4a8ff8020139a4ab25561dcede