input = """
true.
a(1) :- true.
b(1) :- true.

gen1 :- not a(1).
gen2 :- not b(1).

%%%%%%%%%%%%%%%%%%%%%%

unrel | a(2).
gen3 :- unrel.

gen3 :- gen1.
a(2) :- not gen3.

gen4 :- gen2.
b(2) :- not gen4.

"""
output = """
true.
a(1) :- true.
b(1) :- true.

gen1 :- not a(1).
gen2 :- not b(1).

%%%%%%%%%%%%%%%%%%%%%%

unrel | a(2).
gen3 :- unrel.

gen3 :- gen1.
a(2) :- not gen3.

gen4 :- gen2.
b(2) :- not gen4.

"""

4ab90df16d17e933cef2c1a14b4cada2b7311dd6
<mask token>

input = """
true.
a(1) :- true.
b(1) :- true.

gen1 :- not a(1).
gen2 :- not b(1).

%%%%%%%%%%%%%%%%%%%%%%

unrel | a(2).
gen3 :- unrel.

gen3 :- gen1.
a(2) :- not gen3.

gen4 :- gen2.
b(2) :- not gen4.

"""
output = """
true.
a(1) :- true.
b(1) :- true.

gen1 :- not a(1).
gen2 :- not b(1).

%%%%%%%%%%%%%%%%%%%%%%

unrel | a(2).
gen3 :- unrel.

gen3 :- gen1.
a(2) :- not gen3.

gen4 :- gen2.
b(2) :- not gen4.

"""
