Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message.