slightly improving the fix so that different strategies of splitting the
axioms into static and synamic ones can be used, similarly to how its
done for the ELK API