scilla version
scilla の Conract がどのバージョンで書かれたものか明記する必要があります。
Contractの最初に記述する必要があります。
scilla_version 1