New features

+ finding variable to watch
Program limited to only dealing with 4 clause cnf files