Hi all, I'm trying the Java bindings for PPL. It seems that some domains (namely boxes) miss the CC76_narrowing_assign method. Is it just an oversight, or there are more fundamental issues behind? Thanks, --gianluca