Updating the sets of target faults during test generation for multiple fault models. Issue 5 (27th March 2019)