added a temporary workaround to a bug in the CTerm.getFunctorValue() method