Decided on strict single-assignment language.