Extracts a function's requirements from its source implementation.