Given that we don't expect `IsSatisfiedBy` to have side effects, then why is the code attempting to verify Indirect Output?