added example for comparison between exact and approximate inference