using (db = Db())
   {
        def id1 = System.Guid("005B55CD-C6E9-433F-8983-74E53465714E");
        def id2 = System.Guid("7017AC86-450E-4B0D-987C-844B4EF7ACBA");

        def single1 = db.Pages.Single(t => t.Id == id1);
        def single2 = db.Pages.Single(t => t.Id == id2);

        Expect(single1.Id == single2.Id); // == 005B55CD-C6E9-433F-8983-74E53465714E
   }

using System;
using System.Console;
using System.Data.SqlClient;
using System.Linq;
using System.Linq.Expressions;
using Nemerle.Data.Linq;
using BLToolkit.Data;
using BLToolkit.Data.Linq;

public class Data
{
   public Id : Guid {get;set;}
}
    
module Program
{
    Main() : void
    {
        def toExpr(e : Expression[Func[Data, bool]]) { e }
        
        def id1 = Guid.NewGuid();
        def id2 = Guid.NewGuid();
        
        def e1 = toExpr(d => d.Id == id1);
        def e2 = toExpr(d => d.Id == id2);
        
        // корень проблемы:
        WriteLine($"Тулкит думает, что $e1 == $e2");
        // продемонстрировать напрямую не получается, потому, что метод сравнения в internal классе
        // ExpressionHelper.Compare(e1, e2) вернет true, поскольку различаются они только значением константы, 
        // а тулкит по каким-то причинам не сравнивает значения констант для Guid (скорее всего такая ситуация не встречается в C#)
        
        // воспроизведение:
        // Нужен sqlserver и база в которой запущено create table Data (Id uniqueidentifier)
        DbTest(@"data source=.\SQLEXPRESS;Integrated Security=true;database=TestDb");
    }

    DbTest(connString : string) : void
    {
        using (conn = SqlConnection(connString), db = DbManager(conn))
        {
            _ = db.BeginTransaction(); // rollback
            
            def d1 = Data(); d1.Id = Guid.NewGuid();
            def d2 = Data(); d2.Id = Guid.NewGuid();
            
            _ = db.Insert(d1);
            _ = db.Insert(d2);
            
            def id1 = d1.Id; // если в експрешен отдать d1.Id константы не будет и тест пройдет
            def id2 = d2.Id;
            
            _ =  db.GetTable.[Data]().Single(d => d.Id == id1);
            // вот тут тулкит считает, что ему передали тот же самый экспрешен и выполняет закешированный запрос
            def test = db.GetTable.[Data]().Single(d => d.Id == id2); 
            
            if (test.Id == d2.Id) // test.Id в данном случае будет равен d1.Id
                WriteLine("Ok")
            else
                WriteLine("Error");
        }
    }
}

Z>>        DbTest(@"data source=.\SQLEXPRESS;Integrated Security=true;database=TestDb");
Z>>

create database TestDb
go
use TestDb
go
create table Data (Id uniqueidentifier)
go

SQLCMD.EXE -E -S .\sqlexpress -i db.sql

Z>Без БД никак Я же написал, что метод сравнения експрешенов в тулките интернал. Поэтому проявить баг можно только в боевом режиме.

class Fake
{
  public GuidValue : Guid { get; set;  }
}

def fake = Fake();

fake.GuidValue = Guid.NewGuid();
def e1 = toExpr(d => d.Id == fake.GuidValue);

fake.GuidValue = Guid.NewGuid();
def e2 = toExpr(d => d.Id == fake.GuidValue);

...

• Nemerle.Linq при генерации экспрешенов превращает локальные переменные в Expression.Constant (возможно в частных случаях), а C# генерит замыкания.
  
• Тулкит почему-то считает две константы одинаковыми если их тип не входит в некий перечень типов, Guid туда не входит. Поэтому два экспрешена, различающиеся только значением константы, он тоже считает одинаковыми.
  
• Перед созданием запроса из экспрешена тулкит проверяет, не лежит ли в кеше запрос из такого же экспрешена. Если лежит он его использует, проблема в том, что он считает одинаковыми реально отличающиеся экспрешены.

mutable n = 1;
toExpr(_ => n > 0);
n++;

def closure = new (n = 1);
closure.n = 1;
Expression.Lambda(... Expression.MemberAccess(closure, "n") ...) // API не помню, но принцип такой
closure.n++;

mutable n = 1;
mutable m = 2;
toExpr(_ => n > 0);
toExpr(_ => n > 0 && m > 0);
toExpr(_ => m > 0);
{
  mutable m = 3;
  toExpr(_ => n > 0 && m > 0);
  toExpr(_ => m > 0);
  toExpr(_ => m > 0);
}
n++;
m++;

Z>mutable n = 1;
Z>toExpr(_ => n > 0);
Z>n++;
Z>

Z>def closure = new (n = 1);
Z>closure.n = 1;
Z>Expression.Lambda(... Expression.MemberAccess(closure, "n") ...) // API не помню, но принцип такой
Z>closure.n++;
Z>

Expression.Lambda(... Expression.MemberAccess(._N_Main_clo_6537, "_N_id1_6520") ...)