Add some derivation tests