implement a new optimization to sink pattern predicates (like isSSE1)