Add raise, lower, push, pull assertions to corpus