working on tebar support (functions whose number of params/returns is unknown), heuristic tweaks