Steensgaard for a_equals_b


Input that generated this file: a_equals_b.test
a=bottom


b=bottom


a=&c


b=&d


a=b