exchanged 'if' with 'assumeTrue'
Merge pull request #76 from Mario-S/2.2

exchanged 'if' with 'assumeTrue'