Use int registers to model predicates
Added matmult test file