[squirrelfish] Constant propagation