Minor List optimizations in ResolutionEngine