Fix contracts checking bugs in senryx

[DiuDiu777]

This pr fix the basic logic bugs in contracts checking. Besides, senryx adds state setting actions before and after handle_call analysis.