platin: make sure there is always a semicolon terminating an AIS statement; fixes statements for stack-cache analysis