symbexlog: fix conditionExp for big and/or#790

marcoeilers merged 2 commits into

viperproject:masterviperproject/silicon:masterfrom

pieter-bos:condition-exppieter-bos/silicon:condition-expCopy head branch name to clipboard