anchor.diff:  let res08 = solverExample1();;
   let res09 = solverExample2();;
   let res10 = solverExample3();;
  +
  +let res11 = satValidExample1();;
  
positive.code: 
      printfn "traversing model..."
      for d in m.Decls do
          printfn "%O = %O" <|| (d.Name, m.[d])
      
  #time "on";;
  
  
negative.code: ﻿#r "../Microsoft.Z3.dll"
  #r "../Z3Fs/bin/Debug/Z3Fs.dll"
  
  open Microsoft.Z3
  open Microsoft.Z3.FSharp
  open Common
  open Bool
  