Added several examples to test and show TAC generation