fix HasBoxedVariableError (warning/performance) + a few other warnings

[JakobAsslaender]

Hi, I made a few small fixes. Should not change the behavior, but avoid some warnings + maybe improve speed.

[tknopp]

looks good, thanks