- Differentiating between unkown predicates and static predicates in messages,
  when it has not been declared as dynamic but is being modified.
Added checking of duplicated predicate names in different modules that has been
exported at least in one of them
Fixed and simplified trivial fails analysis
Fixed warning when self-analyzing