Fixed bug on assigning twice the same literal in preprocessing.
Added test for checking the bug.