--TEST-- POST_INC without use during DFA optimization --FILE-- --EXPECT--