dear cfe-dev, the implicit casts' AST vertices seem to always have non valid program points. Is it always true? Can I assume in my code that the program point will never be there? Thanks pb