support for implication for expressions
add implication for expressions
(from redmine: issue id 3025, created on 2017-08-04, closed on 2019-05-29)
add implication for expressions
(from redmine: issue id 3025, created on 2017-08-04, closed on 2019-05-29)