/**
  * Checks whether the variable contains a binary expression with unassigned variables by checking
  * its value
  *
  * @param variable the GenericVariable to be checked
  */
 public void check(GenericVariable variable) {
   check(variable.getValue());
 }