core: check arguments for field arithmetic operations (fix #40)
core: improve out block detection in switch (issue #38)