added logic to assert that only a single initially statement exists in a contract