Less constraint propagation when COMPILATION-SPEED > SPEED