improving finite test class
removing unecessary imports
adding pushdown test classes
bug fixing at DPDARunner