Grounding of functions to fluents and maintaining their value during search.