added support for pragma assert