Merge pull request #2 from goullet/BooleanSwitchingAnnotations

Boolean switching annotations
fixed bug in boolean switching inequality printing
Merge commit '0c22b182662d49a3266c9cb5b9e9c28b16cb27ce' into BooleanSwitchingAnnotations

* commit '0c22b182662d49a3266c9cb5b9e9c28b16cb27ce':
  fixed bug in boolean switching inequality printing