1. Refinement prototype implementation done
2. Some bug fixes
3. Add blue color to "frontier node" on graph.dot
4. Some refactoring
Bug fix : now "editText" are correctly handled