enabled wdcheck in well-definedness test