Satisfaction degree of false is nan instead of 0
biocham: validity_domain(false).
false
biocham: satisfaction_degree(false,[]).
nan
biocham: robustness(false,[],[]).
ERROR: number_codes/2: Syntax error: Illegal number
This has to be fixed in the C code (violation degree is indeed nan but then satisfaction should be 0)