adding a test for axiom:param/2
fixing specs