Suporte para o framework de testes LeanCheck
