Changed CVC4::expr to expr in typedef added namespace CVC4::context in
.ccp file