added documentation about partial loops
checking that nondet choice has at least two children
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the generators coverage