Adding hints for bug-finding