Initial commit for code semantics system