Better penalty calculation(?) not penalizing pure parts of formulae