because when calling a function with return type BOOL we currently expect it to return a i64. This got triggered by the inliner
