PR #141: Make a mutation-disable annotation that disables nothing an error