show zero expressions
Working execution across functions and basic blocks