bugfix: Princess has another function that needs to be considered as type "OTHER".
This commit is related to
@@ -402,6 +402,8 @@ class PrincessFormulaCreator
return FunctionDeclarationKind.STORE;
} else if (fun == ModuloArithmetic.mod_cast()) {
return FunctionDeclarationKind.OTHER;
+ } else if (fun == ModuloArithmetic.int_cast()) {
+ return FunctionDeclarationKind.OTHER;
} else {
return FunctionDeclarationKind.UF;
}
