Static methods to check low-level code for a graph reduction machine. - Marco Polo Perez Cervantes (2013)