Add some simple tests for HM inference