example to demonstrate a potential bug in ts to spec conversion or in synthesis