Changes to testsuite

Changes to testsuite:
commit 18624e7ac6e391d90963500e1fecf0affc551dbf
Author: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Date:   Tue Nov 19 09:04:48 2013 +0000

    Include pairs in this test