Added comments to WAssert