Adding simple tests

Checking that for the moment rules work at least as expected (some implementation is still missing)