Added evaluator option for alloy.