Table callableBinding

predicate callableBinding(@caller callerid, @callable callee)