Fixed shiftMap's bug for consequence list. Added unit-test