AML-DL Consistency checker - Initial M9

Summary
A C program that can read interpreted code from the AMLDL interpreter and determine its logical consistency