A partial evaluator for simple imperative language which was written as a solution for homework assignment of Compilers course in Computer Science Center