Two new optimizer types for flow-sensitive type propagation