remove unneccessary function
fix codecoverage sampling generation
comment code-coverage implementation
renaming refactoring
remove debugging code
speed up simple-conf generation
code layout
check single-conf for satisfiability