Additional check for trivial constraints is needed to make lambda analysis before outer variable fixation to Nothing(?) ^KT-37627 Fixed