Fixed stack transition analysis for calli