Add evaluation of locks and other stuffs

- Add method eval for locks
- move eval_update for Property and Event
- correct a bug for the rand expression
error corrected again...
change consequence execution : now done in order