Found a bug in prefer avoid filter.
   - added the MakeConsList to the filter list.
   - modified a bit TermCons.toString to better emphasize lists.