refactor log instruction names; fix functional compiler over logic compiler; add test case
remove obsolete imports