Fix the predicate which checks for non-sensical formulae which have