Add preconditions and postconditions to strings, add a few tests in strings