Adding an approximate inference engine that performs rejection sampling; a test case is updated as well