Added Erlang predicate evaluator