Refinement of guard based on antecedent of implication statement#6434

Merged

NlightNFotis merged 3 commits intodiffblue:developfrom

NlightNFotis:implication_statement_checks

Nov 5, 2021

Commits on Nov 4, 2021

Add a handling of the case of `ID_implies` to the `check_rec` dispatcher in `goto_check`.
NlightNFotis
committed
Add positive test for fix of implication statement antecedent guard refinement.
NlightNFotis
committed

Commits on Nov 5, 2021

Add a `PRECONDITION` for the types of expressions that `check_rec_logical_op` can handle.
NlightNFotis
committed