Add support for exact belief representation