using state pinning or decision forcing