Implement translation of assignment statements