Narrowing the possible deficiencies of the compiler