Revamped rest-case proc

Much faster, almost no heuristics