:
s/then \|if true \(\w*\) else [tf]\w*\|if f\w* \w* e\w* /\1/
t