SelectiveCompiler should perform limit analysis when constructing the set to compile