Refactoring with Slither

[mattsu6666]

Slither detects cross-solidity code warnings, requiring refactoring and automatic checking with Github Actions.

[mattsu6666]

This issue has been resolved by the following PR.
#11