added Preconditions to Completion/Value evaluators