Promela中的分号使用

Question

我正在学习Spin Modal Checker的promela语法。我遇到了这段简单的代码。

int count;
active proctype count(){
if
::   count++
::   count--
fi
}

据我所知，分号用于定义语句结束。我可以在;和count++以及count--之后使用fi;它会改变程序的行为方式吗？我会很高兴为我清除这个分号的东西。