fixed further bug regarding issue #12 and recognition of unsigned right shifts