Silence warning about unused variable.
Replace exp(1) by hard-coded constant
Add support for assertions with complex arguments