partial implementation of the collecting abstarct interpreter added