inst trace correct on toy-sig