Test FIAT #157, #162, #164, #166#4485

pbrubeck wants to merge 1 commit intomainfiredrakeproject/firedrake:mainfrom

pbrubeck/test/fiatfiredrakeproject/firedrake:pbrubeck/test/fiatCopy head branch name to clipboard