PROBCORE-498 Implemented and tested support for Theories with Direct operator definitions