Add precond.checkIsString.