Functions

<power function>=
   pow (<first expression>, <second expression>)

<sqrt function>=
   sqrt (<expression>)

<get function>=
   get_st (<auxiliary var>, <state var>) |
   get_st_float (<auxiliary var>, <state var>)

<set function>=
   set_st (<state var>, <auxiliary var>) |
   set_st_float (<state var>, <auxiliary var>)