Update BeliefExporter.h