REFAT: change name from PrevStateMethods to WarmStartMethods