[FIX] Bugfix on check_result constraint