Added tests for simplify_fraction