Add support for SV do/while