When I do an assert from another package, ie (assert x/y z)
(assert x/y z)
Output is: z.(x/y)
z.(x/y)
When I do an assert from another package, ie
(assert x/y z)Output is:
z.(x/y)