- renamed private methods to addXXX for consistency
- made them non const member functions (for the same reason why
  addNXDOMAINProof can't be so)
- renamed variable 'zone' to 'finder' to adapt to class name change