assumed state analysis