Added well-definedness tests
Added machines with well-definedness errors