Added simplify(), union(), intersection() tests.