commit in submodule
Updated submodule.
First filenames.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  commit in submodule
Updated submodule.
Merge branch 'master' into logic_parser_devel

* master:
  Updated submodule.
  Updated submodule.
  commit in submodule
Hooks for Predicates and Implications.