[ew:bs] Remove which node are interpreted as axioms
[ew:bs] Remove which node are interpreted as axioms

This is as obvious as assert and assume and invariant.

team-worthwhile/worthwhile,team-worthwhile/worthwhile