axiom existential_variables() returns universal variables

[Simon Flügel]

The method

macleod/src/macleod/logical/axiom.py

Line 105 in 48d464d

 def existential_variables(self): 

returns self.uni_variables. I assume this is a copy-and-paste error and it should be self.exi_variables.

[thahmann]

Indeed - thanks for noticing and sharing!