Finished rule tests

valerie-tests check basic operations declared correctly.