abolic programming Graphical abstract Highlights • A novel FUNP anal