Derivation rulescombiantios

Add tests