clean function works now
more parameters in Con.class
complete Main.class
Implement backtrack reducer, need to test and adjust now.