experiments with WALA