public static StatementSyntax MkCSharpAssert(ExpressionSyntax expr, string errorMsg)
{
return(SyntaxFactory.IfStatement(
CSharpHelper.MkCSharpNot(expr),
SyntaxFactory.ThrowStatement(MkCSharpObjectCreationExpression(SyntaxFactory.IdentifierName("PrtAssertFailureException"), CSharpHelper.MkCSharpStringLiteralExpression(errorMsg)))));
}