modify docstrings in FunctionHypothesis.py and LOTHypothesis.py