Added and updated some test cases
Added and updated some test cases
Definition and implementation of the abstract machine
Working abstract machine conversion without recursive functions