Test inference of new Leibniz methods.