modified Agent.memory to have a single root AbstractionSet, need to modify solve accordingly