Implements morphism application for digraphs
Merge remote-tracking branch 'origin'
Add keep actions for Digraphs
Fix issue with incomplete pattern matching
Merge branch 'master' of github.com:rodrigo-machado/ufrgs-grt