Checking for protect errors slightly more general than multiple-allocating-argument-expressions.