Add basic unit test for translate_unsatisfiable_pk

In preparation for modifying the `translate_unsatisfiable_pk` function
add a basic unit test.

Author: heap-coder

src/policy/concrete.rs

@@ -1205,4 +1205,14 @@ mod tests {
         }));
         assert_eq!(count, 17);
     }
+
+    #[test]
+    fn translate_unsatisfiable_pk() {
+        let policy = Policy::<String>::from_str("or(and(pk(A),pk(B)),pk(C))").unwrap();
+
+        let want = Policy::<String>::from_str("or(and(pk(A),UNSATISFIABLE),pk(C))").unwrap();
+        let got = policy.translate_unsatisfiable_pk(&"B".to_string());
+
+        assert_eq!(got, want);
+    }
 }