Adding option for BVA. Currently it doesn't work, only prints info
Using heap to store lits that we want to do BVA with