Solution of Symbolic Linear Systems in OmSim Using Cramer's Rule