bug fixes in prolog imp interpreter