Recommend you to change sigma to HalfNormal instead (since you truncate at 0 with mu=0 the two is equivalent)