trace for assignment op (incomplete)