Compatibility compat = get_compatibility(*param_basic, *arg_basic);
if(compat==RIGHT_CONVERTIBLE)
convert_to(call.arguments[i], *param_basic);
Compatibility compat = get_compatibility(*param_basic, *arg_basic);
if(compat==RIGHT_CONVERTIBLE)
convert_to(call.arguments[i], *param_basic);