Make symbolic if-then-else operator lazier on infinite stream values

This addresses issue #128.