Making XmulCeqZ primitive and code cleaning.