I wasn't sure.  I don't think it should happen, but the AS code is complex enough that I couldn't be 100% sure, so it felt better to write robust code and firewall against it.  I did consider adding a warning, but if the problem isn't benign then the symptoms should be clear enough (a missing ACR).