Improvements in AGMWorldModel's API