echo BeforeAllowTraffic>> %~dp0/../../../../../executed_proof_file