Refining user-defined function Proof-of-Concept