Support DoAndIfThenElse. Fixes #48.