Added simple example boogie program that would should try to execute. It's simple straight line code so hopefully it won't present difficulties.
Added simple example boogie program that would should try to execute.
It's simple straight line code so hopefully it won't present
difficulties.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix