#[test]
fn inductive_test() {
    let _ = assert!(true);
}