Fix getNodes, getLinks
Add function boolToInt
Predicate of anyA and filterA runs in IO monad
Add function getSrcTgt
Add function negLit
Add monadic functions filterM and mapTupleM
Add function findA
Add implication graph