Disable subformula matching for now