13vwfs_test_succeeded
2passed(p(a,A))
3passed(p(b,A))
4passed(p(c,A))
5passed(p(d,A))
6passed(p(e,A))
7passed(p(f,A))
8