Added substring() and replace() to tlap-3-problems.