added recursive method to explore deeper procedure calls and instrument the appropriate assertion check