Use output capabilities of Beliefstate class instead of manual `cout`s