@id:16015
$name:weak normalization stability