added tauology_check make option