Buffer underflow detection implemented in syntaxtree/Program.java
It will return a list of nodes that potentially has problems.