Two new reduction classes in Krom formulae with predicate and function symbols