Procedure：
Procedure對于所有其他通路程序mutually exclusive，且有side effect
function：
function對于procedure和entry是mutually exclusive，對于其他function是同步的，且side effect free
entry：
entry本義入口，對于所有其他通路程序mutually exclusive，且有通路條件（guard），滿足時才可使用
Procedure：
Procedure對于所有其他通路程序mutually exclusive，且有side effect
function：
function對于procedure和entry是mutually exclusive，對于其他function是同步的，且side effect free
entry：
entry本義入口，對于所有其他通路程序mutually exclusive，且有通路條件（guard），滿足時才可使用