Remove int + Integer expression

Wala's Type Inference doesn't like to handle such autoboxing expressions.

See #45.