cli linked, file loading

- cli now links most of predicates (often empty in corresponding modules, marked as "TBD")
- new universal predicate for convenient file loading in utilities module
-> loading non-existent graph ends gracefully
- new incorrect testing graph added
- graph name now checked to be atomic