Add java_instanceof_exprt, and use it in place of raw exprts#5039