Static analysis on code to find of abstractable sets of functions.