Update the Jekejeke adapter file with a definition for the missing standard predicate `acyclic_term/1`