instanceof in interpStm()
messy code that does not work... yet