Adding more tests for leibniz init