try less recursive reduction and now it seems that I fixed the bug