simplify rvl interpreter, fix unwanted statements for superproperties