Currently when we print, e.g., filter ((&&) <$> testK relation w <*> evaluate' x1) worlds, we strip the && of its parentheses and break the parser. We need to preserve the parentheses if the operator is being used in its prefix version.