Improving compile flags
Removing useless debug
OMP is not being used. Removing #ifdef
OMP is not used, removing #ifdef
Refactoring strengthener and vivifier