1:- module(ai_extra_clauses, []).    2
    3:- use_module(library(extra_location)).    4:- use_module(library(abstract_interpreter), []).    5
    6abstract_interpreter:extra_clauses(Goal, CM, CM:true, From) :-
    7    predicate_property(CM:Goal, dynamic),
    8    predicate_property(CM:Goal, implementation_module(M)),
    9    loc_dynamic(Goal, M, dynamic(def, _, _), From)