Replace deprecated [protect_unit] aspect with [goal] tag