refining cast checker and adding regression tests. also changed symbolic executor to handle "instanceof" properly
small fix to prevent overly conservative assertion failure