Remove atom from VC, Add BDD tools to fish functions