Stripping comments from the strings is now an option rather than forced on if rejectComments has not been selected.  Also put the basic code in place for starting to look for tautologies.  At this point, it's just detecting = operators.