Fixes #16

that is now genarated all the times by rdbg

Indeed,  the  generated  oracle  and daemons  were  not  syntactically
correct in such cases, e.g., if an action was named "I(p)".

- do not hard-code the size of the graph in the ml files
- do not print the whole state of big graphs. Indeed, for graphs of
  10000 nodes, if we print the path (which is itself an array of size 10000)
  we obtain 100 000 000 variables, which is too much for the rif file.