Make some assertions on constant expressions static.