specializer: using existing binding and globals extraction functionality from the peval.function module