Reread code, checking ldp state-machine
Tests with no rules