implemented generic worklist algorithm for FirmNodeVisitor; added debug output; added call to worklist algorihthm