[FIX] Some bugfixes on check_result constraint