An implementation of the Myrmes referee engine