Pseudocode: Filter out nulls before combining type predicates
 #KT-5732 Fixed