Machine model: verify well-formed processor resource groups.