Added support for Assumptions