Publishes speclj with-redefs should-invoke post