Force heap generation for dependent theories