inf.yz: Remove assertions
Add Compiler.compile_source