Evaluation of Disjunctive Programs in WASP