$ lola --check=none net.lola
lola: reading net from net.lola
lola: place 'p5' does not exist
lola: net.lola:7:9 - error near 'p5'

  6  CONSUME p1, p2;
  7  PRODUCE p5;
             ^~  

lola: syntax error -- aborting [#01]
lola: see manual for a documentation of this error
