test_name agent-basic-type-mismatch test_description Finalizing a system where you call an agent which is originally a formal instantiated as a basic type, we generate a metamorphose in the wrapper where we should not. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_final compile_result ok c_compile_final c_compile_result ok execute_final NONE exec_output execute_result ok compare exec_output output test_end