PIX can redirect all web traffic to any device on same interface be it WAAS and it does not maintain a state table for this redirection as well. Thus if WAAS device supports wccp services, it should work. Here is some information about WCCP on firewall: