isPrimForm :: FORMULA -> Bool
isPrimForm f = case f of
        TrueAtom _ -> True
        FalseAtom _ -> True
        Predication _ -> True
        Negation _ _ -> True
        _ -> False

-- Pretty printing for formulas
isPrimForm :: FORMULA -> Bool
isPrimForm f = case f of
        TrueAtom _ -> True
        FalseAtom _ -> True
        Predication _ -> True
        Negation _ _ -> True
        _ -> False

-- Pretty printing for formulas
isPrimForm f = case f of
        TrueAtom _ -> True
        FalseAtom _ -> True
        Predication _ -> True
        Negation _ _ -> True
        _ -> False

-- Pretty printing for formulas