Checked that the relational interface does not call a mutex
implicitly, that is, through an invoked kernel function.