Edited the IG test infrastructure to match that of Clafer's