likely_compile now takes expr instead of env