Makesure partial reduction compiles