Preconditions checks in all messages and wire objects