[Rodin-b-sharp-user] Ask for bool variable

[dr_enas_idm <dr_...@ho...>]

Dear researchers.
I am working on building a model in rodin... I need a variable be true or false so I define variable .. called son 
With invariant: son € bool
But I have an error 
This error require to initialize the variable in the event : initialization. 
Can any one guide me to set my variable


Sent from Samsung Mobile