[transforms] Implemented support of closure rules in implication form: A e. CC -> ( sin ` A) e. CC