Update Lean Prolog and YAP adapter files for changes to compiler internal predicate