refine passes on non-Basics
add and register refine_MatMul