To demonstrate scalability of libabac, noise is introduced into the
yap prolog db by adding extraneous attribute and principal credentials.
Valid queries are made and the result is validated.