Opendlv Logic Primechecker