Fix lack of debug-compatible syntax
sanitycheck: more algebra test cases