Test cases for Hypothesis simplification rules for Boolean operators #80
Description
We need to add test cases to validate all rules mentioned in sc-fvt#287 for hypothesis simplification with boolean operators.
Transferred from: input-output-hk/sc-fvt#351