semilinear_util: minor refactoring
matrix: import missing file...