let Assertion = < BinaryInPath : Text | SuccessfulExit : Text > in Assertion