add the shlexpr collect, but not complete. this for check a intoverflow when found shl expr. test in the example plugin, check the constraints when a state terminated