private bool InstantiationExprIsThreadId() { return((InstantiationExpr is IdentifierExpr) && ((IdentifierExpr)InstantiationExpr).Decl.Name.Equals(GPUVerifier.MakeThreadId("X", Thread).Name)); }
private bool InstantiationExprIsThreadId() { return((InstantiationExpr is IdentifierExpr) && ((IdentifierExpr)InstantiationExpr).Decl.Name.Equals(GPUVerifier.MakeThreadId("X", Thread).Name)); }