Use Z3 for non-determinism check
Use Z3 for non-determinism check.
After redesign of formal verification in AF3, non-determinism check ended up being implemented using NuSMV.
Consider implementing it using Z3.
(from redmine: issue id 3407, created on 2018-05-15)