removing mutable state from Model
removing mutable state from elimination tree