[mean-generator] should not generate a default value if a property does
not define one and is not required #10
[mean-generator] state machine properties should have the initial state
as the default value #11
[mean-generator] need to inline derived boolean properties used in
conditions #9