Added support for case when an empty sequence is for then branch of an
if.