+ tests for ifx