TEST: Single test for case jtlvint.synthesize() given unrealizable