Added comment line for BDD extraction when computing a symbolic strategy