Verify backward compatibility instructions 3 / 14

Fixes issue #364 (closed) There are two follow-up issues for the remaining sub-goals in #379 (closed) and #380