added legal1.decaf and legal2.decaf
more programs
added invalid programs, other minor modifications