Improve error message if 13 argument function
Add support for basic block expressions