Fixed NPE due to still including verify-constraints in declare-graph-fns.