Function plg_rt_pred_fail 

#[unsafe(no_mangle)]
pub extern "C" fn plg_rt_pred_fail(_m: *mut Machine, _env: u64) -> i32

Always-fail predicate body: the target for :- dynamic predicates with no clauses (silent-fail linter contract).