test_name attached-inherited-argument test_description Attachment status of an argument specified in a precondition should be supported when the inheritance is involved. copy_raw a.e $CLUSTER a.e copy_raw test.e $CLUSTER test.e copy_sub Ace $TEST Ace compile_melted compile_result ok test_end