implemented some rules for imp abstract machine