Modified junit test to use term equality instead of string equality.