Implementation of Zaidan's strategy for ALwR

Use this file to run ALwR experiments using Zaidan's strategy.