DecideChecker is synchronous