Added the .c and .ll files of the test case simulated.
findPredecessors implemented, need to be deeply tested.
findSuccessors implemented, need to be deeply tested.
Example from the Appel.
Example fixed with SUB and DIV operator, just to make it more complete.