ммм, выдыхай бро, у тебя Ж ДАО. Вот представь.. у тебя на столе лежит кучка\wручка. Ты можешь заценить цвет, форму и так далее. Но разобрать ее на нефтепродукты исходного пластика и на исходный сырой ресурс металла - низя. (на what.if это хорошо разбиралось в статье про солнце и лупу).
так вот - код любого плавающего по эфиру куска EVM будет именно этой кучкой. Солидити - оптимизирующий компилятор. Меняется граф управления, меняется сложность этого графа. Да, можно найти какие-то граничные условия, определить копипасты из зеплина и накидать несколько примеров, но если это принести к разработчикам, то их вопрос будет, как ты напильником сделал из истребителя - подводный танк.