add support for script when with uninterpreted… why… not sure.