function addInitialState input TypeName cl; input String state; input ExpressionOrModification annotate; output Boolean bool; end addInitialState;