Add evaluation for Event-B (assessor 1)