Getting rid of goal-dependency in declarative mode argument evaluation.