codes to dominus lifting simulator