bugfix for model checking of the empty Boolean network
Authored by: hannesklarner 2016-02-15
Parent: [r174]
Child: [r176]