I want to automatically verify the structure of a published smart contract. A smart contract should be valid if the smart contract matches a template. Only the storage can diverge between the template and the smart contract. All functions, etc. should be matching.
Is this possible to test automatically? If so, how?