hash calculator string tests rewritten using theories