assertion with expr object