5 defName:null => halt => true, result: notnull; => false, result: null => true, result: notnull; => false, result: null => true, result: notnull; => false, result: null