* src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh (atomic_prop_collect_as_bdd): Take a const tgba.