Ondra Kamenik 7076fe31e9 When applying substitutions to the atom assignings, they are done also for non-referenced atoms, as they could still be referenced in evaluations.		2011-05-17 10:42:57 +02:00
..
cc	When applying substitutions to the atom assignings, they are done also for non-referenced atoms, as they could still be referenced in evaluations.	2011-05-17 10:42:57 +02:00