I like clang :-)
Push down selections