Undefined guards
We need to be able to write a contract without guard.
A solution can be to set the guard to "undefined" with a simple warning message for the developer in the eclipse editor.
Undefined guards shouldn't be evaluated.
Edited by William Ragot