FIL: Started to write down semantics of the formal intermediate language in k-Framework notation