fixes a bug in construction of forceResult axioms, related to #45