Refactor every call to sha1 to a function "hash(char *term, int len)". Length of hash codes should be defined in this piece of code.
SUCCESS: Integrated in ProB_Tests_Linux64_On_Commit #1538 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/1538/)
(p.koerner: rev 895556e748e8bf729e46995278588b5a0fd79eaa)
SUCCESS: Integrated in ProB_Tests_Linux64 #9303 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64/9303/)
(p.koerner: rev 895556e748e8bf729e46995278588b5a0fd79eaa)