Prefix classes of Krom formulae with identity