Test transformation of badmatch errors