limit the state machine composition, modified the vnh example2 to original policies
limit the state machine composition
minor changes to main