[refinement] die if AMR is unavailable and it is clear that it was intended to be used