Merge pull request #468 from antmicro/wsip/reduce_expr

Reduce expressions in logic typespecs