refine handlers depend on global assumptions only
matrix expressions refine depends on global assumptions
print foo -> print(foo)