Context-dependent expr attributes are now attached to a specific SmtEngi...

...ne, and the SAT context is owned by the SmtEngine.