Fixed a nasty bug. If the subformula is not found then it is assumed that that subformula cannot be satisfied anywhere in the path of the program and hence should completely be removed.
Merge branch 'master' of https://github.com/amal029/Cgals