Test cases for Hypothesis simplification rules for Implication

We need to consider the following rules when writing the test cases (references sc-fvt#288):
- transitive for first rule
- case when forall is mixed with ite/dite
- case when h is in e2 to ensure that rule is not wrongly applied
- case when we have same expression in different context
- (a -> b) /\ (a -> c /\ (a -> b)) ===> reduce to (a -> b) /\ (a -> c /\ b)
- case when have same implication in both hyp and conclusion
(a -> b) -> c -> (a -> b) ===> True

---
**Transferred from:** input-output-hk/sc-fvt#349