add logic.mercury and LOGICMessages with 'COP:?'