- Pass through all the static analyzers to optimize them, speciall those that
  use prolog_walk_code/1, obtaining speedups up to 20 times faster, just by
  using the option source(false) when appropiated.

- Minor bug fixes in check_unused.pl. Dynamically defined predicates where not
  being reported.