implemented misc. in pp + test
added prettyprinter to interp. False subpredicates of false properties are now printed to the user