formal parameter name refinement should be automatic #715
Description
The names of formal parameters in BON features and in Java/JML methods should not matter. They should automatically refine if their (refined) types match. At the moment Beetlz insists that the identifiers must be identical.