%Static analysis: CFG
function(testfunc3) .
function(testfunc2) .
call(testfunc2, testfunc3) .

%Function tags: 
tag(testfunc3, unsafe).
%tag(testfunc2, unsafe).

:- call(X, Y), tag(Y, unsafe), not tag(X, unsafe), function(X), function(Y).