'#module_preds'([generate/2,test/1]).
'#inst'(generate(g,g)).
'#inst'(test(g)).
'#terminates'(generate(b,f)).
'#terminates'(test(b)).