abnormal termination search

fixes #299