Adding first-level filtering to if typing rules