Skip extended checks
Fix predicates for null assignments