Extract method init state and path exit state out of method, path