Eliminating Function Symbols from a Nonmonotonic Causal Theory