Wouldn't such analysis in the general case run afoul of Rices theorem?