remove one more vestige of witness twin variables