Mode: VM run
Title: Alpha conversion of argument names in designators


This tests if parameter names in designators are alpha-converted to
the parameter names used in the definition of the method.