complements on BDDinfer

support for unary -, div and mod in logic

support for <-> in logic

support for calls inside conditions of if and while

support for check

fixed compilation warnings