Working with Multiple Projects / Model checker

[ValquirPacheco (Valquir Francisco Pacheco Neto)]

Thank you ver much @Jean-Marc for the fast reply, I’ll take a look!