Improved error reporting by abduction and induction phase