Add check for HAVE_EIGEN3 in ExactInferenceMethod_unittest