works proberly tested with blif3