squash! Merging "subformulas"