to compute the minimal model of the program in <tt>demo1</tt>
  load the engine (as in <tt>[tp]</tt> and query
  <tt>go(demo1)</tt>.