Fix inconsistencies with implies operator (#549)#558

filipeom merged 1 commit intomainformalsec/smtml:mainfrom

filipe/issue-549formalsec/smtml:filipe/issue-549Copy head branch name to clipboard