Feature/checking

Added method dangling to specification object to check its consistency and avoid typo.

Added tests and doc.

Added switch --check to the flute executable.