chore: canonicalize constants in alive output

This will make subsequent patches for enabling reductions smaller,
as these canonicalization for some reason is not needed in that
case.

Author: tobiasgrosser