Fixed bug in eval.
AsDeductionSystem* -> InDeductiveSystem

in deductive_generalized.gi