Explicit vs implicit representation of expressions in SysML4Mathematica