pdg-constraints Find and evaluate constraints to determine if paths on a program dependence graph are not executable