'#module_preds'([base/1,conquer/2,divide/4,merge/4]).
'#inst'(base(g)).
'#inst'(conquer(g,g)).
'#inst'(divide(g,g,g,g)).
'#inst'(merge(g,g,g,g)).
'#constraint'(divide,4,[l(3,1),l(4,1)],rec).
'#terminates'(base(b)).
'#terminates'(conquer(b,f)).
'#terminates'(divide(b,f,f,f)).
'#terminates'(merge(b,b,b,f)).