Added more info to README and fixed up some variable names in invalidity#instantiateStatement()