Fix bug on BoolNotView
Merge branch 'feature-clause' into develop