cargo_klee_examples/examples/get_sign.rs, Answer to review -> Updated answers for C

cargo_klee_examples/examples/get_sign.rs

@@ -106,6 +106,7 @@ The path with a negative number.
 // [your answer here]
 /*
 The lib_klee_analysis.rs module.
+It also uses the ll module for low level bindings.
 */
 //
 // Have a look at the source code of `cargo klee`.
@@ -118,6 +119,9 @@ The lib_klee_analysis.rs module.
 /*
 The program simply looks for the file that was the last to be modified
 See: https://gitlab.henriktjader.com/pln/cargo-klee/-/blob/master/cargo-klee/src/main.rs#L211
+
+One can further notice that it starts the search for *.ll file from the parent directory to the example file (--> this file <--).
+The parent folder is found by quering the cargo project.
 */
 //
 // Actually this is one of the "bad seeds" in the internal design.