Performance optimization: No longer performing a constant propagation over all method bodies