Added files, called_from, implemented_in, better than explain predicate.