updated evaluation
support for implication graph
make complete graph
sxfm analyzer based on uwe's implementation