define flow check verbalizacao prematura
  pass

define flow check groundedness
  pass