Harel_statechart loading ...