test_name pretty-check-instruction
test_description Check instruction can be rendered differently depending on associated assertions.

copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e

prettify	test.e prettify_output
compile_result ok
compare		prettify_output output

test_end