L_to_Hyb: relation is more clever, detecting letdia get, get here, unbox fetch
LF to Hyb: weaker relation R, R_step property