- make_query_var(++Environment:int, +Variable:int, --BDD:int) is det
- Makes Variable belonging to Environment a query random variable for MAP inference.
Returns in BDD the diagram of the formula encoding the required constraints among the
Boolean random variable that represent Variable.