rewrite isa by predc