AML-DL Consistency checker - Final

Summary
A C program that can read interpreted code from the AML-DL interpreter and determine its logical consistency.