1. include the process for Stateflow into main process in processDef. 

1. Shadow stateflow diagram from simulink part 
	and get process for stateflow by itself.

1. lists in HHL prover
2. share variables
