change constant handling and thus building of the computation trace