First version of covered/3.
Changed name of some functions in generator of negative examples.
Added some comments for main functions in covered/3 implementation.