added new flag to digraph class
enabled constraint checking