makecond accepts callables
wrap rewrite_rl rename in try/except block
add Block Matrix computations
normalized string function in dot
test blockcut computation
add blockcut matrix multiply test