Implemented parts of IsolaLogic, All Unit Test from hw1 can pass now