Remove from the Lean Prolog adapter file a dummy definition that is no longer required