Query _Bool-casted expression in assert analysis to handle pointers

Query _Bool-casted expression in assert analysis to handle pointers #2628