Added a new command line int parameter "misc1". It is currently used for selecting a predicate to print its sub-graph
Added two funtions to print dot files for visualization with graphviz. One which prints the entire graph with violation costs and another which prints a sub-graph around a predicate.