Adding tests/transformed/tests_funApp_arit_if file