more complex identifying of a safe program